type t =
    A | B 
